#include<stdio.h>

int main()
{
    int n;
    printf("Input a month number: ");
    scanf("%d",&n);
    const char *month[]={"January","February","March","April",
                        "May","June","July","August","September",
                        "October","November","December"};
    printf("Its English name is: %s\n",*(month+n-1));
    return 0;
}
